141![Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria](https://www.pdfsearch.io/img/c6eabaabaa575ba17a067562e5005259.jpg) | Add to Reading ListSource URL: sebastien.bardin.free.frLanguage: English - Date: 2014-04-03 11:43:14
|
---|
142![ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING](https://www.pdfsearch.io/img/ea3dac7c10dadbf78aea517349a5860b.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2011-12-16 11:38:46
|
---|
143![Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.](https://www.pdfsearch.io/img/634c6cb0a513617131c247886444afbd.jpg) | Add to Reading ListSource URL: hci.stanford.eduLanguage: English - Date: 2005-06-09 19:14:00
|
---|
144![EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl](https://www.pdfsearch.io/img/12d5099a1c1b6428613eadfc47b89d94.jpg) | Add to Reading ListSource URL: hci.stanford.eduLanguage: English - Date: 2006-03-02 02:20:53
|
---|
145![KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract](https://www.pdfsearch.io/img/c095d2944cc2fd55b8d36a81a1c72b9f.jpg) | Add to Reading ListSource URL: hci.stanford.eduLanguage: English - Date: 2008-05-27 14:37:34
|
---|
146![CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science](https://www.pdfsearch.io/img/8f447a760c16f9d88e31e49c4ae8f3c2.jpg) | Add to Reading ListSource URL: srl.cs.berkeley.eduLanguage: English - Date: 2009-02-05 16:14:24
|
---|
147![](https://www.pdfsearch.io/img/9934b18772efb87dc3943ce28e1348ba.jpg) | Add to Reading ListSource URL: www.stanford.eduLanguage: English - Date: 2006-09-08 17:55:30
|
---|
148![](https://www.pdfsearch.io/img/dc2be15127f767d949cc416bdaa9b174.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2015-03-26 13:14:14
|
---|
149![](https://www.pdfsearch.io/img/7cc571cbca7ad6e35db9798b276bf641.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2008-03-28 16:58:30
|
---|
150![](https://www.pdfsearch.io/img/891cc5c73b1b9639501e01091a2b3230.jpg) | Add to Reading ListSource URL: users.ece.utexas.eduLanguage: English - Date: 2005-03-01 18:37:16
|
---|